On decision and optimization (k,l)-graph sandwich problems

AbstractA graph G is (k,l) if its vertex set can be partitioned into at most k independent sets and l cliques. The (k,l)-Graph Sandwich Problem asks, given two graphs G1=(V,E1) and G2=(V,E2), whether there exists a graph G=(V,E) such that E1⊆E⊆E2 and G is (k,l). In this paper, we prove that the (k,l)-Graph Sandwich Problem is NP-complete for the cases k=1 and l=2; k=2 and l=1; or k=l=2. This completely classifies the complexity of the (k,l)-Graph Sandwich Problem as follows: the problem is NP-complete, if k+l>2; the problem is polynomial otherwise. We consider the degree Δ constraint subproblem and completely classify the problem as follows: the problem is polynomial, for k⩽2 or Δ⩽3; the problem is NP-complete otherwise. In addition, we propose two optimization versions of graph sandwich problem for a property Π: MAX-Π-GSP and MIN-Π-GSP. We prove that MIN-(2,1)-GSP is a Max-SNP-hard problem, i.e., there is a positive constant ε, such that the existence of an ε-approximative algorithm for MIN-(2,1)-GSP implies P=NP

On the complexity of the approximation of nonplanarity parameters for cubic graphs

AbstractLet G=(V,E) be a simple graph. The NON-PLANAR DELETION problem consists in finding a smallest subset E′⊂E such that H=(V,E⧹E′) is a planar graph. The SPLITTING NUMBER problem consists in finding the smallest integer k⩾0, such that a planar graph H can be defined from G by k vertex splitting operations. We establish the Max SNP-hardness of SPLITTING NUMBER and NON-PLANAR DELETION problems for cubic graphs

The complexity of clique graph recognition

A complete set of a graph G is a subset of vertices inducing a complete subgraph. A clique is a maximal complete set. Denote by C (G) the clique family of G. The clique graph of G, denoted by K (G), is the intersection graph of C (G). Say that G is a clique graph if there exists a graph H such that G = K (H). The clique graph recognition problem asks whether a given graph is a clique graph. A sufficient condition was given by Hamelink in 1968, and a characterization was proposed by Roberts and Spencer in 1971. However, the time complexity of the problem of recognizing clique graphs is a long-standing open question. We prove that the clique graph recognition problem is NP-complete.Facultad de Ciencias Exacta

The complexity of clique graph recognition

A complete set of a graph G is a subset of vertices inducing a complete subgraph. A clique is a maximal complete set. Denote by C (G) the clique family of G. The clique graph of G, denoted by K (G), is the intersection graph of C (G). Say that G is a clique graph if there exists a graph H such that G = K (H). The clique graph recognition problem asks whether a given graph is a clique graph. A sufficient condition was given by Hamelink in 1968, and a characterization was proposed by Roberts and Spencer in 1971. However, the time complexity of the problem of recognizing clique graphs is a long-standing open question. We prove that the clique graph recognition problem is NP-complete.Facultad de Ciencias Exacta

On the (Parameterized) Complexity of Recognizing Well-covered ( r , ℓ )-graph

An (r,ℓ)(r,ℓ)-partition of a graph G is a partition of its vertex set into r independent sets and ℓ cliques. A graph is (r,ℓ)(r,ℓ) if it admits an (r,ℓ)(r,ℓ)-partition. A graph is well-covered if every maximal independent set is also maximum. A graph is (r,ℓ)(r,ℓ)-well-covered if it is both (r,ℓ)(r,ℓ) and well-covered. In this paper we consider two different decision problems. In the (r,ℓ)(r,ℓ)-Well-Covered Graph problem ((r,ℓ)(r,ℓ)wc-g for short), we are given a graph G, and the question is whether G is an (r,ℓ)(r,ℓ)-well-covered graph. In the Well-Covered(r,ℓ)(r,ℓ)-Graph problem (wc-(r,ℓ)(r,ℓ)g for short), we are given an (r,ℓ)(r,ℓ)-graph G together with an (r,ℓ)(r,ℓ)-partition, and the question is whether G is well-covered. This generates two infinite families of problems, for any fixed non-negative integers r and ℓ, which we classify as being P, coNP-complete, NP-complete, NP-hard, or coNP-hard. Only the cases wc-(r,0)(r,0)g for r≥3r≥3 remain open. In addition, we consider the parameterized complexity of these problems for several choices of parameters, such as the size α of a maximum independent set of the input graph, its neighborhood diversity, its clique-width, or the number ℓ of cliques in an (r,ℓ)(r,ℓ)-partition. In particular, we show that the parameterized problem of determining whether every maximal independent set of an input graph G has cardinality equal to k can be reduced to the wc-(0,ℓ)(0,ℓ)g problem parameterized by ℓ. In addition, we prove that both problems are coW[2]-hard but can be solved in XP-time

Split clique graph complexity

A complete set of a graph G is a subset of vertices inducing a complete subgraph. A clique is a maximal complete set. Denote by C(G) the clique family of G. The clique graph of G, denoted by K(G), is the intersection graph of C(G). Say that G is a clique graph if there exists a graph H such that G=K(H). The clique graph recognition problem, a long-standing open question posed in 1971, asks whether a given graph is a clique graph and it was recently proved to be NP-complete even for a graph G with maximum degree 14 and maximum clique size 12. Hence, if P ≠ NP, the study of graph classes where the problem can be proved to be polynomial, or of more restricted graph classes where the problem remains NP-complete is justified. We present a proof that given a split graph G=(V,E) with partition (K,S) for V, where K is a complete set and S is a stable set, deciding whether there is a graph H such that G is the clique graph of H is NP-complete. As a byproduct, we prove that determining whether a given set family admits a spanning family satisfying the Helly property is NP-complete. Our result is optimum in the sense that each vertex of the independent set of our split instance has degree at most 3, whereas when each vertex of the independent set has degree at most 2 the problem is polynomial, since it is reduced to the problem of checking whether the clique family of the graph satisfies the Helly property. Additionally, we show three split graph subclasses for which the problem is polynomially solvable: the subclass where each vertex of S has a private neighbor, the subclass where |S|≤3, and the subclass where |K|≤4.Facultad de Ciencias Exacta